Slicing techniques for verification re-use
نویسندگان
چکیده
منابع مشابه
Slicing techniques for verification re-use
In this paper we discuss which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specifically, we will investigate when a temporal logic property of an Object-Z class is preserved under a modification or extension of the class with new features. To this end, we use the slicing technique from program analysis which provi...
متن کاملProperty-based Slicing for Agent Verification
Programming languages designed specifically for multi-agent systems represent a new programming paradigm that has gained popularity over recent years, with some multi-agent programming languages being used in increasingly sophisticated applications, often in critical areas. To support this, we have developed a set of tools to allow the use of model-checking techniques in the verification of sys...
متن کاملSlicing Techniques for UML Models
This paper defines techniques for the slicing of UML models, that is, for the restriction of models to those parts which specify the properties and behaviour of a subset of the elements within them. The purpose of this restriction is to produce a smaller model which permits more effective analysis and comprehension than the complete model, and also to form a step in factoring of a model. We con...
متن کاملA Model Slicing Method for Workflow Verification
Workflow systems increase productivity and quality of service; however, defects in a workflow model may have severe consequences. While model checking techniques can be used to verify the correctness of a workflow model, these techniques typically suffer from the state explosion problem. We propose a model slicing algorithm with a formal proof to address this problem. The algorithm is integrate...
متن کاملSlicing CSP-OZ Specifications for Verification
The combination of the two well known formal specification techniques CSP [Hoa78] for specification of behavioural aspects of systems and Object-Z (OZ) for specification of data aspects of systems into the specification language CSP-OZ [Fis97] has already been subject of intense research. An important challenge is their inherent complexity which quickly goes beyond the scope of current analysis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2005
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2005.06.020